Transformation of Meta-Information by Abstract Co-interpretation
نویسندگان
چکیده
In this paper we present an approximation method based on abstract interpretation to transform meta-information in parallel with the transformation of concrete data. The meta-information is assumed to describe further properties of the specific data. The construction of a correct transformation function for the meta-information can be quite complicated in case of complex data transformations or data structures. A special approximation method is presented that works with data ab-
منابع مشابه
Analysis and transformation of proof procedures
Automated theorem proving has made great progress during the last few decades. Proofs of more and more diicult theorems are being found faster and faster. However, the exponential increase in the size of the search space remains for many theorem proving problems. Logic program analysis and transformation techniques have also made progress during the last few years and automated theorem proving ...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملAdvanced Cascading Sensor Observation Service
In order to minimize the cost associated with “bridging the technology gaps” between the networks, ORCHESTRA proposes an abstract architecture and a methodology for mapping this abstract architecture onto the technical platform of choice. At the level of information exchange, ORCHESTRA demands self-description of all services and data offered in a network. In particular: “all meta-information M...
متن کاملTransforming Abstract Interpretations by Abstract Interpretation New Challenges in Language-based Security
In this paper we exploit abstract interpretation for transforming abstract domains and semantics. The driving force in both transformations is making domains and semantics, i.e. abstract interpretations themselves, complete, namely precise, for some given observation. We prove that a common geometric pattern is shared by all these transformations, both at the domain and semantic level. This pat...
متن کاملBiolistic co-transformation of rice using gold nanoparticles
ABSTRACT- In order to produce transgenic rice lines lacking selectable marker gene, biolistic co-transformation technique using gold nanoparticles was adopted. In the first step, the efficiency of different sizes of gold particles was evaluated. The results showed that the efficiency of the nanoparticles in the transformation was comparable to that of the micro particles. Subsequently, two sepa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003